A generic theorem in cardinal function inequalities
نویسندگان
چکیده
منابع مشابه
Cardinal p and a theorem of Pelczynski
Are two compactifications of ω homeomorphic if their remainders are homeomorphic? For metrizable compactifications the question was answered affirmatively by Pelzcynski. Can the same happen for some non-metrizable remainders? We consider the case when the remainder is D for some uncountable τ . We show that the answer is affirmative if τ < p and negative if τ = c. We prove that every isomorphis...
متن کاملTwo cardinal inequalities for functionally Hausdorff spaces
In this paper, two cardinal inequalities for functionally Hausdorff spaces are established. A bound on the cardinality of the τθ-closed hull of a subset of a functionally Hausdorff space is given. Moreover, the following theorem is proved: ifX is a functionally Hausdorff space, then |X| ≤ 2χ(X)wcd(X).
متن کاملA Generic Cyclic Theorem Prover
We describe the design and implementation of an automated theorem prover realising a fully general notion of cyclic proof. Our tool, called Cyclist, is able to construct proofs obeying a very general cycle scheme in which leaves may be linked to any other matching node in the proof, and to verify the general, global infinitary condition on such proof objects ensuring their soundness. Cyclist is...
متن کاملCardinal multiwavelets and the sampling theorem
This paper considers the classical Shannon sampling theorem in multiresolution spaceswith scaling functions as interpolants. As discussed by Xia and Zhang, for an orthogonal scaling function to support such a sampling theorem, the scaling function must be cardinal. They also showed that the only orthogonal scaling function that is both cardinal and of compact support is the Haar function, which...
متن کاملThe Halpern-läUchli Theorem at a Measurable cardinal
Several variants of the Halpern-Läuchli Theorem for trees of uncountable height are investigated. For κ weakly compact, we prove that the various statements are all equivalent, and hence, the strong tree version holds for one tree on any weakly compact cardinal. For any finite d ≥ 2, we prove the consistency of the Halpern-Läuchli Theorem on d many normal κ-trees at a measurable cardinal κ, giv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2008
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm111-1-14